Assumptions: cocartesian coclosed, self-dual
Conclusions: cartesian closed
Proof: This holds by self-duality.